package ffxilog_interface.track is
  function There_are_Lines_on_Current_Log
    (current_lines : in Integer) return Boolean;
  pragma Inline(There_are_Lines_on_Current_Log);

  function Log_was_Archived
    (current_lines : in Integer;
     checked_lines : in Integer) return Boolean;
  pragma Inline(Log_was_Archived);

  function Not_All_Lines_from_Archived_Log_were_read
    (checked_lines : in Integer) return Boolean;
  pragma Inline(Not_All_Lines_from_Archived_Log_were_read);
end ffxilog_interface.track;
